Khedri, Ridha : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (24)
Les plus populaires
Liste
- Liste
- Tableau

1

On the weaving process of aspect-oriented product family algebra

Zhang, Qinglei, Khedri, Ridha

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2016

Langue:

english

Fichier:

PDF, 2.04 MB

english, 2016

2

A quantitative assessment of security risks based on a multifaceted classification approach

Jouini, Mouna, BenÂ ArfaÂ Rabai, Latifa, Khedri, Ridha

Journal:

International Journal of Information Security

Année:

2020

Fichier:

PDF, 508 KB

2020

3

On a formal semantics of tabular expressions

Ryszard Janicki, Ridha Khedri

Journal:

Science of Computer Programming

Année:

2001

Langue:

english

Fichier:

PDF, 460 KB

english, 2001

4

Requirements Scenarios Formalization Technique: N Versions Towards One Good Version

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 289 KB

english, 2003

5

An algebra of product families

Peter Höfner, Ridha Khedri, Bernhard Möller

Journal:

Software & Systems Modeling

Année:

2011

Langue:

english

Fichier:

PDF, 2.21 MB

english, 2011

6

Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability

Spencer Smith, Lei Lai, Ridha Khedri

Journal:

Reliable Computing

Année:

2007

Langue:

english

Fichier:

PDF, 277 KB

english, 2007

7

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Algebraic View Reconciliation

Höfner, Peter, Khedri, Ridha, Möller, Bernhard

Année:

2008

Langue:

english

Fichier:

PDF, 320 KB

english, 2008

8

An aspect-oriented language for feature-modeling

Qinglei Zhang, Ridha Khedri, Jason Jaskolka

Journal:

Journal of Ambient Intelligence and Humanized Computing

Année:

2014

Langue:

english

Fichier:

PDF, 1.29 MB

english, 2014

9

Preface

Khedri, Ridha, Djouani, Karim

Journal:

Procedia Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 121 KB

english, 2013

10

WHICH DOCTOR?

Khedri, Ridha, Chiang, Fei, Sabri, Khair Eddin

Journal:

Année:

1985

Langue:

english

Fichier:

PDF, 328 KB

english, 1985

11

An Algebraic Approach Towards Data Cleaning

Khedri, Ridha, Chiang, Fei, Sabri, Khair Eddin

Journal:

Procedia Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 151 KB

english, 2013

12

On the Necessary Conditions for Covert Channel Existence: A State-of-the-Art Survey

Jaskolka, Jason, Khedri, Ridha, Zhang, Qinglei

Journal:

Procedia Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 119 KB

english, 2012

13

An Aspect-Oriented Language for Product Family Speciﬁcation

Zhang, Qinglei, Khedri, Ridha, Jaskolka, Jason

Journal:

Procedia Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 126 KB

english, 2012

14

Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics

Jaskolka, Jason, Khedri, Ridha, Sabri, Khair Eddin

Journal:

Procedia Computer Science

Année:

2014

Langue:

english

Fichier:

PDF, 376 KB

english, 2014

15

Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels

Jaskolka, Jason, Khedri, Ridha, Sabri, Khair Eddin

Journal:

Procedia Computer Science

Année:

2014

Langue:

english

Fichier:

PDF, 219 KB

english, 2014

16

[ACM Press the Seventh Annual Workshop - Oak Ridge, Tennessee (2011.10.12-2011.10.14)] Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research - CSIIRW '11 - A formal test for detecting information leakage via covert channels

Jaskolka, Jason, Khedri, Ridha, Sabri, Khair Eddin

Année:

2011

Langue:

english

Fichier:

PDF, 190 KB

english, 2011

17

Integration of sequential scenarios

Desharnais, Jules, Frappier, Marc, Khédri, Ridha, Mili, Ali

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

1997

Langue:

english

Fichier:

PDF, 1.32 MB

english, 1997

18

Investigative support for information confidentiality

Jaskolka, Jason, Khedri, Ridha, Sabri, Khair Eddin

Journal:

Journal of Ambient Intelligence and Humanized Computing

Année:

2015

Langue:

english

Fichier:

PDF, 3.04 MB

english, 2015

19

A Multidimensional Approach towards a Quantitative Assessment of Security Threats

Jouini, Mouna, Rabai, Latifa Ben Arfa, Khedri, Ridha

Journal:

Procedia Computer Science

Année:

2015

Langue:

english

Fichier:

PDF, 199 KB

english, 2015

20

[IEEE 2015 International Conference on Computational Science and Computational Intelligence (CSCI) - Las Vegas, NV, USA (2015.12.7-2015.12.9)] 2015 International Conference on Computational Science and Computational Intelligence (CSCI) - Towards an Ontology Design Architecture

Jaskolka, Jason, MacCaull, Wendy, Khedri, Ridha

Année:

2015

Langue:

english

Fichier:

PDF, 130 KB

english, 2015

21

Towards the Certification of Covert Channel Freeness in Cloud-based Systems

Jaskolka, Jason, Khedri, Ridha

Journal:

Procedia Computer Science

Année:

2015

Langue:

english

Fichier:

PDF, 204 KB

english, 2015

22

Conto: A Protégé Plugin for Configuring Ontologies

LeClair, Andrew, Khedri, Ridha

Journal:

Procedia Computer Science

Année:

2016

Langue:

english

Fichier:

PDF, 390 KB

english, 2016

23

Mitigating covert channels based on analysis of the potential for communication

Jaskolka, Jason, Khedri, Ridha

Journal:

Theoretical Computer Science

Année:

2016

Langue:

english

Fichier:

PDF, 951 KB

english, 2016

24

Introduction to the Special Section: Convergence of Automation Technology, Biomedical Engineering, and Health Informatics Toward the Healthcare 4.0

Pang, Zhibo, Yang, Geng, Khedri, Ridha, Zhang, Yuan-Ting

Journal:

IEEE Reviews in Biomedical Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2018